Optimal. Leaf size=369 \[ \frac{a b \left (-104 a^4 b^2-803 a^2 b^4+8 a^6-256 b^6\right ) \cos (c+d x)}{6 d}+\frac{b \left (2 a^2-7 b^2\right ) \cos (c+d x) (a+b \sin (c+d x))^5}{3 d}+\frac{a b \left (2 a^2-13 b^2\right ) \cos (c+d x) (a+b \sin (c+d x))^4}{3 d}+\frac{b \left (-72 a^2 b^2+8 a^4-35 b^4\right ) \cos (c+d x) (a+b \sin (c+d x))^3}{12 d}+\frac{a b \left (-88 a^2 b^2+8 a^4-151 b^4\right ) \cos (c+d x) (a+b \sin (c+d x))^2}{12 d}+\frac{b^2 \left (-200 a^4 b^2-866 a^2 b^4+16 a^6-105 b^6\right ) \sin (c+d x) \cos (c+d x)}{24 d}-\frac{\sec (c+d x) \left (5 a b-\left (2 a^2-7 b^2\right ) \sin (c+d x)\right ) (a+b \sin (c+d x))^6}{3 d}+\frac{35}{8} b^4 x \left (16 a^2 b^2+16 a^4+b^4\right )+\frac{\sec ^3(c+d x) (a \sin (c+d x)+b) (a+b \sin (c+d x))^7}{3 d} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.645708, antiderivative size = 369, normalized size of antiderivative = 1., number of steps used = 7, number of rules used = 4, integrand size = 21, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.19, Rules used = {2691, 2861, 2753, 2734} \[ \frac{a b \left (-104 a^4 b^2-803 a^2 b^4+8 a^6-256 b^6\right ) \cos (c+d x)}{6 d}+\frac{b \left (2 a^2-7 b^2\right ) \cos (c+d x) (a+b \sin (c+d x))^5}{3 d}+\frac{a b \left (2 a^2-13 b^2\right ) \cos (c+d x) (a+b \sin (c+d x))^4}{3 d}+\frac{b \left (-72 a^2 b^2+8 a^4-35 b^4\right ) \cos (c+d x) (a+b \sin (c+d x))^3}{12 d}+\frac{a b \left (-88 a^2 b^2+8 a^4-151 b^4\right ) \cos (c+d x) (a+b \sin (c+d x))^2}{12 d}+\frac{b^2 \left (-200 a^4 b^2-866 a^2 b^4+16 a^6-105 b^6\right ) \sin (c+d x) \cos (c+d x)}{24 d}-\frac{\sec (c+d x) \left (5 a b-\left (2 a^2-7 b^2\right ) \sin (c+d x)\right ) (a+b \sin (c+d x))^6}{3 d}+\frac{35}{8} b^4 x \left (16 a^2 b^2+16 a^4+b^4\right )+\frac{\sec ^3(c+d x) (a \sin (c+d x)+b) (a+b \sin (c+d x))^7}{3 d} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 2691
Rule 2861
Rule 2753
Rule 2734
Rubi steps
\begin{align*} \int \sec ^4(c+d x) (a+b \sin (c+d x))^8 \, dx &=\frac{\sec ^3(c+d x) (b+a \sin (c+d x)) (a+b \sin (c+d x))^7}{3 d}-\frac{1}{3} \int \sec ^2(c+d x) (a+b \sin (c+d x))^6 \left (-2 a^2+7 b^2+5 a b \sin (c+d x)\right ) \, dx\\ &=\frac{\sec ^3(c+d x) (b+a \sin (c+d x)) (a+b \sin (c+d x))^7}{3 d}-\frac{\sec (c+d x) (a+b \sin (c+d x))^6 \left (5 a b-\left (2 a^2-7 b^2\right ) \sin (c+d x)\right )}{3 d}+\frac{1}{3} \int (a+b \sin (c+d x))^5 \left (30 a b^2-6 b \left (2 a^2-7 b^2\right ) \sin (c+d x)\right ) \, dx\\ &=\frac{b \left (2 a^2-7 b^2\right ) \cos (c+d x) (a+b \sin (c+d x))^5}{3 d}+\frac{\sec ^3(c+d x) (b+a \sin (c+d x)) (a+b \sin (c+d x))^7}{3 d}-\frac{\sec (c+d x) (a+b \sin (c+d x))^6 \left (5 a b-\left (2 a^2-7 b^2\right ) \sin (c+d x)\right )}{3 d}+\frac{1}{18} \int (a+b \sin (c+d x))^4 \left (30 b^2 \left (4 a^2+7 b^2\right )-30 a b \left (2 a^2-13 b^2\right ) \sin (c+d x)\right ) \, dx\\ &=\frac{a b \left (2 a^2-13 b^2\right ) \cos (c+d x) (a+b \sin (c+d x))^4}{3 d}+\frac{b \left (2 a^2-7 b^2\right ) \cos (c+d x) (a+b \sin (c+d x))^5}{3 d}+\frac{\sec ^3(c+d x) (b+a \sin (c+d x)) (a+b \sin (c+d x))^7}{3 d}-\frac{\sec (c+d x) (a+b \sin (c+d x))^6 \left (5 a b-\left (2 a^2-7 b^2\right ) \sin (c+d x)\right )}{3 d}+\frac{1}{90} \int (a+b \sin (c+d x))^3 \left (90 a b^2 \left (4 a^2+29 b^2\right )-30 b \left (8 a^4-72 a^2 b^2-35 b^4\right ) \sin (c+d x)\right ) \, dx\\ &=\frac{b \left (8 a^4-72 a^2 b^2-35 b^4\right ) \cos (c+d x) (a+b \sin (c+d x))^3}{12 d}+\frac{a b \left (2 a^2-13 b^2\right ) \cos (c+d x) (a+b \sin (c+d x))^4}{3 d}+\frac{b \left (2 a^2-7 b^2\right ) \cos (c+d x) (a+b \sin (c+d x))^5}{3 d}+\frac{\sec ^3(c+d x) (b+a \sin (c+d x)) (a+b \sin (c+d x))^7}{3 d}-\frac{\sec (c+d x) (a+b \sin (c+d x))^6 \left (5 a b-\left (2 a^2-7 b^2\right ) \sin (c+d x)\right )}{3 d}+\frac{1}{360} \int (a+b \sin (c+d x))^2 \left (90 b^2 \left (8 a^4+188 a^2 b^2+35 b^4\right )-90 a b \left (8 a^4-88 a^2 b^2-151 b^4\right ) \sin (c+d x)\right ) \, dx\\ &=\frac{a b \left (8 a^4-88 a^2 b^2-151 b^4\right ) \cos (c+d x) (a+b \sin (c+d x))^2}{12 d}+\frac{b \left (8 a^4-72 a^2 b^2-35 b^4\right ) \cos (c+d x) (a+b \sin (c+d x))^3}{12 d}+\frac{a b \left (2 a^2-13 b^2\right ) \cos (c+d x) (a+b \sin (c+d x))^4}{3 d}+\frac{b \left (2 a^2-7 b^2\right ) \cos (c+d x) (a+b \sin (c+d x))^5}{3 d}+\frac{\sec ^3(c+d x) (b+a \sin (c+d x)) (a+b \sin (c+d x))^7}{3 d}-\frac{\sec (c+d x) (a+b \sin (c+d x))^6 \left (5 a b-\left (2 a^2-7 b^2\right ) \sin (c+d x)\right )}{3 d}+\frac{\int (a+b \sin (c+d x)) \left (90 a b^2 \left (8 a^4+740 a^2 b^2+407 b^4\right )-90 b \left (16 a^6-200 a^4 b^2-866 a^2 b^4-105 b^6\right ) \sin (c+d x)\right ) \, dx}{1080}\\ &=\frac{35}{8} b^4 \left (16 a^4+16 a^2 b^2+b^4\right ) x+\frac{a b \left (8 a^6-104 a^4 b^2-803 a^2 b^4-256 b^6\right ) \cos (c+d x)}{6 d}+\frac{b^2 \left (16 a^6-200 a^4 b^2-866 a^2 b^4-105 b^6\right ) \cos (c+d x) \sin (c+d x)}{24 d}+\frac{a b \left (8 a^4-88 a^2 b^2-151 b^4\right ) \cos (c+d x) (a+b \sin (c+d x))^2}{12 d}+\frac{b \left (8 a^4-72 a^2 b^2-35 b^4\right ) \cos (c+d x) (a+b \sin (c+d x))^3}{12 d}+\frac{a b \left (2 a^2-13 b^2\right ) \cos (c+d x) (a+b \sin (c+d x))^4}{3 d}+\frac{b \left (2 a^2-7 b^2\right ) \cos (c+d x) (a+b \sin (c+d x))^5}{3 d}+\frac{\sec ^3(c+d x) (b+a \sin (c+d x)) (a+b \sin (c+d x))^7}{3 d}-\frac{\sec (c+d x) (a+b \sin (c+d x))^6 \left (5 a b-\left (2 a^2-7 b^2\right ) \sin (c+d x)\right )}{3 d}\\ \end{align*}
Mathematica [A] time = 1.16431, size = 414, normalized size = 1.12 \[ \frac{\sec ^3(c+d x) \left (5376 a^6 b^2 \sin (c+d x)-1792 a^6 b^2 \sin (3 (c+d x))-17920 a^4 b^4 \sin (3 (c+d x))-6720 a^2 b^6 \sin (c+d x)-14560 a^2 b^6 \sin (3 (c+d x))-672 a^2 b^6 \sin (5 (c+d x))-21504 a^5 b^3 \cos (2 (c+d x))+40320 a^4 b^4 (c+d x) \cos (c+d x)+13440 a^4 b^4 (c+d x) \cos (3 (c+d x))-64512 a^3 b^5 \cos (2 (c+d x))-5376 a^3 b^5 \cos (4 (c+d x))+40320 a^2 b^6 (c+d x) \cos (c+d x)+13440 a^2 b^6 (c+d x) \cos (3 (c+d x))-7168 a^5 b^3-44800 a^3 b^5+2048 a^7 b+384 a^8 \sin (c+d x)+128 a^8 \sin (3 (c+d x))-17472 a b^7 \cos (2 (c+d x))-1920 a b^7 \cos (4 (c+d x))+64 a b^7 \cos (6 (c+d x))-13440 a b^7-525 b^8 \sin (c+d x)-847 b^8 \sin (3 (c+d x))-63 b^8 \sin (5 (c+d x))+3 b^8 \sin (7 (c+d x))+2520 b^8 (c+d x) \cos (c+d x)+840 b^8 (c+d x) \cos (3 (c+d x))\right )}{768 d} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.134, size = 495, normalized size = 1.3 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 1.47095, size = 443, normalized size = 1.2 \begin{align*} \frac{224 \, a^{6} b^{2} \tan \left (d x + c\right )^{3} + 8 \,{\left (\tan \left (d x + c\right )^{3} + 3 \, \tan \left (d x + c\right )\right )} a^{8} + 560 \,{\left (\tan \left (d x + c\right )^{3} + 3 \, d x + 3 \, c - 3 \, \tan \left (d x + c\right )\right )} a^{4} b^{4} + 112 \,{\left (2 \, \tan \left (d x + c\right )^{3} + 15 \, d x + 15 \, c - \frac{3 \, \tan \left (d x + c\right )}{\tan \left (d x + c\right )^{2} + 1} - 12 \, \tan \left (d x + c\right )\right )} a^{2} b^{6} + 64 \,{\left (\cos \left (d x + c\right )^{3} - \frac{9 \, \cos \left (d x + c\right )^{2} - 1}{\cos \left (d x + c\right )^{3}} - 9 \, \cos \left (d x + c\right )\right )} a b^{7} +{\left (8 \, \tan \left (d x + c\right )^{3} + 105 \, d x + 105 \, c - \frac{3 \,{\left (13 \, \tan \left (d x + c\right )^{3} + 11 \, \tan \left (d x + c\right )\right )}}{\tan \left (d x + c\right )^{4} + 2 \, \tan \left (d x + c\right )^{2} + 1} - 72 \, \tan \left (d x + c\right )\right )} b^{8} - 448 \, a^{3} b^{5}{\left (\frac{6 \, \cos \left (d x + c\right )^{2} - 1}{\cos \left (d x + c\right )^{3}} + 3 \, \cos \left (d x + c\right )\right )} - \frac{448 \,{\left (3 \, \cos \left (d x + c\right )^{2} - 1\right )} a^{5} b^{3}}{\cos \left (d x + c\right )^{3}} + \frac{64 \, a^{7} b}{\cos \left (d x + c\right )^{3}}}{24 \, d} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 2.91977, size = 633, normalized size = 1.72 \begin{align*} \frac{64 \, a b^{7} \cos \left (d x + c\right )^{6} + 64 \, a^{7} b + 448 \, a^{5} b^{3} + 448 \, a^{3} b^{5} + 64 \, a b^{7} + 105 \,{\left (16 \, a^{4} b^{4} + 16 \, a^{2} b^{6} + b^{8}\right )} d x \cos \left (d x + c\right )^{3} - 192 \,{\left (7 \, a^{3} b^{5} + 3 \, a b^{7}\right )} \cos \left (d x + c\right )^{4} - 192 \,{\left (7 \, a^{5} b^{3} + 14 \, a^{3} b^{5} + 3 \, a b^{7}\right )} \cos \left (d x + c\right )^{2} +{\left (6 \, b^{8} \cos \left (d x + c\right )^{6} + 8 \, a^{8} + 224 \, a^{6} b^{2} + 560 \, a^{4} b^{4} + 224 \, a^{2} b^{6} + 8 \, b^{8} - 3 \,{\left (112 \, a^{2} b^{6} + 13 \, b^{8}\right )} \cos \left (d x + c\right )^{4} + 16 \,{\left (a^{8} - 14 \, a^{6} b^{2} - 140 \, a^{4} b^{4} - 98 \, a^{2} b^{6} - 5 \, b^{8}\right )} \cos \left (d x + c\right )^{2}\right )} \sin \left (d x + c\right )}{24 \, d \cos \left (d x + c\right )^{3}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 1.18347, size = 923, normalized size = 2.5 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]